1

3D printable concrete: Mixture design and test methods

Year:
2018
Language:
english
File:
PDF, 1.94 MB
english, 2018
2

Mechanical characterization of 3D printable concrete

Year:
2019
Language:
english
File:
PDF, 1.75 MB
english, 2019
3

Lower bounds on the complexity of recognizing SAT by Turing machines

Year:
2001
Language:
english
File:
PDF, 60 KB
english, 2001
5

Circuit Lower Bounds for Merlin–Arthur Classes

Year:
2009
Language:
english
File:
PDF, 325 KB
english, 2009
6

Graph splicing systems

Year:
2006
Language:
english
File:
PDF, 632 KB
english, 2006
9

Holographic Proofs and Derandomization

Year:
2005
Language:
english
File:
PDF, 316 KB
english, 2005
10

Robust Simulations and Significant Separations

Year:
2017
Language:
english
File:
PDF, 310 KB
english, 2017
16

The Complexity of Explicit Constructions

Year:
2012
Language:
english
File:
PDF, 508 KB
english, 2012
28

Infeasibility of instance compression and succinct PCPs for NP

Year:
2011
Language:
english
File:
PDF, 240 KB
english, 2011
32

On Uniformity and Circuit Lower Bounds

Year:
2014
Language:
english
File:
PDF, 353 KB
english, 2014